681. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
682. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
683. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
684. Fortran 77 :An introduction to structured problem solving
پدیدآورنده : V.A.Dyck , J.D. Lawson , J.A. Smith
کتابخانه: Library of Graduate Faculty of Environment of Tehran Univerdity (Tehran)
موضوع : FORTRAN 77 (Computer program language),Mathematics,Computer programming.
رده :
QA
76
.
73
.
F25D9
1984
685. Fortran IV programming [For engineering theoretical physics, applied mathematics,...]
پدیدآورنده : / M.G. Chopra, Ram Kumar
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA76
,.
73
،.
F25D63
1992
686. Fortran codes for mathematical programming : linear, quadratic and discrete
پدیدآورنده : Land, Ailsa H
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Data processing ، Programming )Mathematics(,، FORTRAN )Computer program language(
رده :
QA
402
.
5
.
L33
687. Fortran 2018 with parallel programming /
پدیدآورنده : Subrata Ray
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
رده :
QA76
.
73
.
F25
R39
2020eb
688. Foundations of Deterministic and Stochastic Control
پدیدآورنده : by Jon H. Davis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Partial.,Distribution (Probability theory).,Mathematics.,Systems theory.,Telecommunication.
689. Foundations of Rational Agency
پدیدآورنده : edited by Michael Wooldridge, Anand Rao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
690. Foundations of algorithms
پدیدآورنده : / Richard Neapoltian and Kumarss Naimipour
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Algorithms,Constructive mathematics,Computational complexity
رده :
QA
9
.
58
.
N43
2011
691. Foundations of bilevel programming
پدیدآورنده : by Stephan Dempe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization.,Programmation (Mathématiques),Programming (Mathematics)
رده :
T57
.
7
B978
2002
692. Foundations of bilevel programming /
پدیدآورنده : by Stephan Dempe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization.,Programming (Mathematics),Optimisation mathématique.,Programmation (Mathématiques),Hierarchische Optimierung,Mathematical optimization.,Parametrische Optimierung,Programação hierárquica.,Programação matemática.,Programming (Mathematics)
رده :
T57
.
7
.
D46
2002
693. Foundations of bilevel programming
پدیدآورنده : / by Stephan Dempe
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Programming (Mathematics),Mathematical optimization
رده :
T57
.
7
.
D46
2002
694. Foundations of bilevel programming
پدیدآورنده : Dempe, Stephan.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(,، Mathematical optimization
رده :
T
57
.
7
.
D46
2002
695. Foundations of bilevel programming
پدیدآورنده : Dempe, Stephan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Programming )Mathematics(,، Mathematical optimization
رده :
T
57
.
7
.
D46
2002
696. Foundations of computational mathematics :
پدیدآورنده : Felipe Cucker, Michael Shub, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Análisis numérico -- Congresos.,Matemáticas computacionales -- Congresos
رده :
QA297
.
F455
1997
697. Foundations of computational mathematics :
پدیدآورنده : Felipe Cucker, Michael Shub, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Análisis numérico -- Congresos.,Matemáticas computacionales -- Congresos
698. Foundations of discrete mathematics with algorithms and programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics. ;
699. Foundations of mathematical programming
پدیدآورنده : / William W. Claycombe, William G. Sullivan
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Programming (Mathematics)
رده :
519
.
7
C622
700. Foundations of optimization
پدیدآورنده : Guler, Osman
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Mathematical optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
G85
2010
